type Maybe a = Either () a